proof of rank theorem